formal semantic model

[ˈfɔ:məl siˈmæntik ˈmɔdəl]
  • 释义

    [计] 形式语义模型;

数据更新时间:2024-12-23 00:04:53
1、

Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.

具体如下:首先,本文结合构件的静态结构特征和动态行为特征,基于谓词逻辑、集合论以及进程代数π演算,提出了一种构件的形式语义模型。

互联网摘选

2、

Based on in-depth analysis of customer demand characteristics in MC environment, method of requirement elicitation, decomposition and conversion was proposed and a complete set of formal semantic model was built as well.

论文在深入分析MC环境客户需求特点的基础上,提出了客户需求获取分解及处理的方法并建立了一套完整的形式化需求语义模型。

互联网摘选

3、

Formal Semantic of Architecture-Centric Component Model

以体系结构为中心的构件模型的形式化语义

互联网摘选

4、

A Formal Semantic Model Facing Object Language

一个面向对象语言的形式语义模型

互联网摘选

5、

According to the features of formal semantic network model and attribute grammars, the new model uses symbols of attribute grammars to establish grammar and semantic rule schema suitable for semantic networks, and implements the reasoning by the expanded attribute grammar interpreter.

根据形式化的语义网络表示模型和属性文法的特点,该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式,并且可通过扩充的属性文法的解释器来实现推理。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务!可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈